- 2 402 202 книги
- Поиск
Logic, Language, Information, and Computation - WoLLIC 2011
Автор: Lev D. Beklemishev, Автор: Ruy de Queiroz
Размер книги: 3.14 Mb
Provability, Computability and Reflection, Volume 65
Автор: Lev D. BeklemishevКатегория: Mathematical logic
Размер книги: 3.00 Mb
Provability, Computability and Reflection, Volume 83
Автор: Lev D. BeklemishevКатегория: Mathematical logic
Размер книги: 2.72 Mb
Provability, Computability and Reflection, Volume 62
Автор: Lev D. BeklemishevКатегория: Mathematical logic
Размер книги: 980 Kb
Provability, Computability and Reflection, Volume 84
Автор: Lev D. BeklemishevКатегория: Mathematical logic
Размер книги: 2.55 Mb
An algebraic approach to non-classical logics
Автор: Lev D. BeklemishevКатегория: Mathematical logic
Размер книги: 2.45 Mb
Provability, Computability and Reflection, Volume 88
Автор: Lev D. BeklemishevКатегория: Mathematical logic
Размер книги: 1.46 Mb
Model theory for infinitary logic; logic with countable conjunctions and finite quantifiers.
Автор: Lev D. Beklemishev
Размер книги: 529 Kb
Introduction to the theory of finite automata
Автор: Lev D. BeklemishevКатегория: Cs_Computer science, CsAl_Algorithms
Размер книги: 2.09 Mb
Mathematical logic in Latin America: Proceedings Santiago, 1978
Автор: Lev D. Beklemishev
Размер книги: 2.84 Mb
Non-classical logics, model theory and computability: Proceedings Campinas, 1976
Автор: Lev D. Beklemishev
Размер книги: 1.78 Mb
Word problems: Decision problems and the Burnside problem in group theory
Автор: Lev D. Beklemishev
Размер книги: 3.63 Mb
Formal systems and recursive functions: Proceedings Oxford, 1963
Автор: Lev D. Beklemishev
Размер книги: 1.84 Mb
Generalized recursion theory II: Proceedings Oslo, 1977
Автор: Lev D. Beklemishev
Размер книги: 2.27 Mb
Generalized recursion theory: Proceedings Oslo, 1972
Автор: Lev D. Beklemishev
Размер книги: 2.43 Mb
Lincos: Design of a language for cosmic intercourse.
Автор: Lev D. Beklemishev
Размер книги: 1.57 Mb
Recursive number theory: A development of recursive arithmetic in a logic-free equation calculus
Автор: Lev D. Beklemishev
Размер книги: 1.04 Mb
The axiomatic method with special reference to geometry and physics: Proc. Berkeley, 1957-8
Автор: Lev D. Beklemishev
Размер книги: 3.20 Mb
Intuitionism and proof theory: Proceedings Buffalo, 1968
Автор: Lev D. Beklemishev
Размер книги: 3.04 Mb
The problem of inductive logic: Proceedings London, 1965
Автор: Lev D. Beklemishev
Размер книги: 2.70 Mb
Problems in the philosophy of science: Proceedings London, 1965
Автор: Lev D. Beklemishev
Размер книги: 2.88 Mb
Truth, syntax and modality: Proceedings Philadelphia, 1970
Автор: Lev D. Beklemishev
Размер книги: 2.17 Mb
Logic, methodology and philosophy of science: Proceedings Stanford, 1960
Автор: Lev D. Beklemishev
Размер книги: 5.73 Mb
Contributions to mathematical logic: Proceedings Hannover, 1966
Автор: Lev D. Beklemishev
Размер книги: 1.87 Mb
Logic, methodology and philosophy of science IV: Proc. Bucharest, 1971
Автор: Lev D. Beklemishev
Размер книги: 6.20 Mb
Logic, methodology and philosophy of science IV: Proceedings Bucharest, 1971
Автор: Lev D. Beklemishev
Размер книги: 6.76 Mb
Logic, methodology and philosophy of science III: Proceedings Amsterdam, 1967
Автор: Lev D. Beklemishev
Размер книги: 3.37 Mb
Provability, Computability and Reflection, Volume 50
Автор: Lev D. Beklemishev
Размер книги: 3.60 Mb
Studies in logic and the foundations of mathematics, vol.69: Contributions to Non-Standard Analysis
Автор: Lev D. Beklemishev
Размер книги: 11.40 Mb
Generalized Recursion Theory II: Proceedings of the 1977 Oslo Symposium: Symposium Proceedings: 2nd, 1977
Автор: Lev D. Beklemishev
Размер книги: 3.75 Mb
Provability, Computability and Reflection, Volume 17
Автор: Lev D. Beklemishev
Размер книги: 1.48 Mb
Logic colloquium '78. Proceedings of the colloquium held in Mons, August 1978
Автор: Lev D. Beklemishev
Размер книги: 5.05 Mb
Logic in Algebraic Form, Three Languages and Theories
Автор: Lev D. Beklemishev
Размер книги: 2.89 Mb
Mathematical Logic in Latin America: Symposium Proceedings
Автор: Lev D. Beklemishev
Размер книги: 5.49 Mb
Non-classical logics, model theory and computability.
Автор: Lev D. Beklemishev
Размер книги: 12.58 Mb
Provability, Computability and Reflection, Volume 30
Автор: Lev D. Beklemishev
Размер книги: 5.23 Mb
Truth, Syntax and Modality: Proceedings of the Temple University Conference on Alternative Semantics
Автор: Lev D. Beklemishev
Размер книги: 4.22 Mb
Word problems. Decision problems and the Burnside problem in group theory
Автор: Lev D. Beklemishev
Размер книги: 17.15 Mb
